TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur

Source URL: www.tableaux11.unibe.ch

• Logic
• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Proof theory
• Methods of proof
• International Workshop on First-Order Theorem Proving
• Melvin Fitting
• Natural deduction
• Sequent calculus
• Modal logic
• Method of analytic tableaux

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, The modular structure of an ontology: an empirical study⋆ Chiara Del Vescovo, Bijan Parsia, Uli Sattler, and Thomas Schneid

Source URL: ceur-ws.org

• Mathematics
• Information science
• Technical communication
• Semantic Web
• Ontology
• Logic
• Knowledge representation
• Upper ontology
• Module
• Model theory
• Mereology
• Structure

From Logic Puzzles to Logic Gates – Combining Fun and Practice in Teaching Introduction to Computer Science Suren Khachatryan American University of Armenia (Armenia)

Source URL: conference.pixel-online.net

Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Programming language semantics
• Measure theory
• Boolean algebra
• Probability theory
• Denotational semantics
• Predicate transformer semantics
• Sigma-algebra
• PP

Logic Programs and Connectionist Networks∗ Pascal Hitzler† , Steffen H¨olldobler† , Anthony Karel Seda‡ † Technische Universit¨at Dresden, Department of Computer Science, 01062 Dresden, Germany

Source URL: daselab.cs.wright.edu

Fifth Competition of Pseudo-Boolean Solvers (PB’10) Call for Solvers and Benchmarks http://www.cril.univ-artois.fr/PB10/ G OAL Like the previous competitions (PB05, PB06, PB07 and PB09), the goal is to assess the state

Source URL: www.cril.univ-artois.fr

• Logic in computer science
• Combinatorial optimization
• Operations research
• Numerical software
• Maximum satisfiability problem
• Constraint satisfaction
• Mathematical optimization
• Solver
• Satisfiability
• Integer programming
• Constraint
• Boolean satisfiability problem

Global Caching, Inverse Roles and Fixpoint Logics Rajeev Gor´e Logic and Computation Group College of Engineering and Computer Science The Australian National University

Source URL: sunsite.informatik.rwth-aachen.de

Package-based Description Logics - Preliminary Results Jie Bao1 , Doina Caragea2 , Vasant G Honavar1 1 Artificial Intelligence Research Laboratory, Department of Computer Science,

Source URL: iswc2006.semanticweb.org

• Knowledge engineering
• Semantic Web
• Knowledge representation
• Ontology
• Knowledge
• Cognitive science
• Information science
• Web Ontology Language
• Description logic
• Semantic reasoner
• Frame language
• Vasant Honavar

23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡

Source URL: www.cs.rhul.ac.uk

Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies Charlie Brej School of Computer Science, The University of Manchester, Oxford Road, Manchester, M13 9PL, UK Email: Abstr

Source URL: apt.cs.manchester.ac.uk